Definitions | ecl ind, State(ds), Valtype(da;k), car.cdr, <a,b>, nil, x L. P(x), let x,y,z = a in t(x;y;z), A & B, Knd, b, as @ bs, x:A. B(x), x:A. B(x), l1 l2, P  Q, type List, A B, star-append(T;P;Q), event-info(ds;da), a<b, x.A(x), P Q, A, (x l), P & Q, s = t, , #$n, ( x L.P(x)), , f(a) |